21. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
22. Barriers and Challenges in Computational Fluid Dynamics
Author: edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
23. Basic MATLAB, Simulink, and Stateflow
Author: Richard Colgren.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,SIMULINK.,Stateflow.,Aeronautics-- Mathematics.,Computer simulation-- Computer programs.,Engineering mathematics.
24. Big Data and Smart Digital Environment /
Author: Yousef Farhaoui, Laila Moussaid, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data-- Analysis.,Data mining.,Machine learning.,COMPUTERS-- Databases-- General.,Data mining.,Machine learning.
Classification :
QA76
.
9
.
B45
25. Building Innovation Pipelines through Computer-Aided Innovation
Author: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
26. Building performance simulation for design and operation /
Author: edited by Jan L.M. Hensen and Roberto Lamberts.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Buildings-- Performance-- Computer simulation.,Husbyggnad.
Classification :
TH453
.
B875
2011
27. CAST Methods in Modelling :
Author: edited by Franz Pichler, Heinz Schwärtzel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering mathematics.
Classification :
TA168
.
E358
1992
28. CFD modeling and analysis of different novel designs of air-breathing PEM fuel cells
Author: Al-Baghdadi, Maher A. R. Sadiq
Library: Central Library and Documentation Center (Kerman)
Subject: Mathematical models ، Proton exchange membrane fuel cells,Computer simulation ، Proton exchange membrane fuel cells,Design and construction - Mathematics ، Proton exchange membrane fuel cells,، Computational fluid dynamics
Classification :
TK
2933
.
P76
A53
2010
29. COMPSTAT 2004 - Proceedings in Computational Statistics
Author: edited by Jaromir Antoch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
30. Chaos and fractals :
Author: edited by Clifford A. Pickover.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Fractals.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Fractals.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
Classification :
T385
.
C453
1998eb
31. Chemical Instabilities
Author: edited by G. Nicolis, F. Baras.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.
32. Chemical engineering dynamics: An introduction to modelling and computer simulation
Author: / edited by John Ingham...(et al)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Chemical engineering- Mathematical models,Biochemical engineering- Mathematics,Chemical engineering- Computer simulation
Classification :
TP155
.
75
.
C455
2000
33. Chemical process modelling and computer simulation
Author: / by Amiya K. Jana
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Chemical processes--Computer simulation,Chemical engineering --Mathematics
Classification :
TP155
.
7
.
J25
2018
34. Cluster analysis and data mining :
Author: R.S. King.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cluster analysis.,Data mining.,Cluster analysis.,Data mining.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.
Classification :
QA278
.
K56
2015eb
35. Coloured Petri Nets :
Author: by Kurt Jensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
QA267
.
B958
1992
36. Communications, signal processing, and systems :
Author: Qilian Liang, Jiasong Mu, Min Jia, Wei Wang, Xuhong Feng, Baoju Zhang, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Signal processing, Congresses.,Telecommunication systems, Congresses.,Computer networks.,Signal processing.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
Classification :
TK5101
.
A1
37. Communications, signal processing, and systems :
Author: editors, Qilian Liang, Xin Liu, Zhenyu Na, Wei Wang, Jiasong Mu and Baoju Zhang. :
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Signal processing, Congresses.,Telecommunication systems, Congresses.,Computer networks.,Signal processing.,Telecommunication systems.
38. Compact modelin
Author: / edited by Gennady Gildenblat
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Simulation methods,Models and modelmaking,Electronic books,Computer simulation,Mathematical models,Science,Engineering,Mathematics
Classification :
T57
.
62
.
C66
2010
39. Compatible finite element methods for geophysical flows
Author: Thomas H. Gibson...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Geophysical prediction -- Mathematics
Classification :
QC809
.
M37
G53
2019
